(func
  (f32.const 0x123pp-3)
)

